|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Model Advisor Report - sm_car.slx | |
| Simulink version: 25.2 | Model version: 15.22 |
| System: sm_car/Vehicle/Vehicle/Chassis/SuspA1/Linkage/Steer | Current run: 04-Nov-2025 14:35:58 |
| Incomplete | Failed | Warning | Justified | Passed | Information | Not Run | Total |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
1421 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
Passed
No Simscape blocks with ambiguous unit setting found in the model.
Lists the Data Store Memory blocks which do not resolve to Simulink signal
Passed
_________________________________________________________________________________________
Checks if model uses any Stateflow messages
Passed
_________________________________________________________________________________________
Lists the signal lines that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Checks if model uses row major algorithms
Passed
_________________________________________________________________________________________
Lists the mask parameters which have Inf elements
Passed
_________________________________________________________________________________________
Lists the blocks/events that use machine parented data
Passed
_________________________________________________________________________________________
Lists the event based blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists the probe blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists the environment controller blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists the Stateflow charts that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Lists the discrete integrator blocks that have incompatible initial conditions
Passed
_________________________________________________________________________________________
Lists the blocks that are not compatible with Simulink PLC Coder
Passed
_________________________________________________________________________________________
Checks if top level subsystem has inputs and outputs when testbench generation is enabled
Passed
_________________________________________________________________________________________
Names defined as keywords must not be used
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Open Keywords File | N/A |
The use of capital letters in object names must be clear and consistent across the project
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Case condition | alllowercase |
| Ignore prefix | false |
Names that exceed the defined maximum name length must be avoided
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum acceptable length | 32 |
Check if function blocks have comments
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
Nesting of multiline comments must be avoided
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
The number of input variables, output variables, and in-out variables of a POU must be within a limited set
Warning
"Treat as atomic unit" is not set
Recommended Action
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| Name | Value |
|---|---|
| Maximum number of I/O variables | 20 |
Check models for edited Model History property values
Check that parameters in the Model Properties dialog History pane use the default tags. In the MDL file format you can configure some model properties to make use of source control tool keyword substitution. If you save your model in SLX format, source control tools cannot perform keyword substitution. Any information in the model file from such keyword substitution is cached when you first save the MDL file as SLX, and is never updated again. The Model Properties History pane and any Model Info blocks in your model show stale information from then on.
Passed
This model uses the default value for property ModifiedByFormat.
Passed
This model uses the default value for property ModifiedDateFormat.
Passed
This model uses the default value for property ModelVersionFormat.
Check optimization settings
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block reduction (BlockReduction) | off | on |
| Warning | Signal storage reuse (OptimizeBlockIOStorage) | off | on |
| Warning | Use bitsets for storing state configuration (StateBitsets) | off | on |
| Warning | Use bitsets for storing Boolean data (DataBitsets) | off | on |
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify AUTOSAR receiver interface ports that do not have a matching error port.
Passed
Model is not configured as an AUTOSAR target.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Identify configuration parameters that might impact secure coding standards compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify switch case expressions that do not have a default case.
Passed
All switch case expressions have default cases.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify usage of Code Replacement Library in the model configuration parameters.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Code replacement library (CodeReplacementLibrary) | None | AUTOSAR 4.x |
Check configuration settings in the model configuration that apply to AUTOSAR compatibility.
Warning
The following model configuration parameters are not compatible with AUTOSAR:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| System target file (SystemTargetFile) | grt.tlc | autosar.tlc,autosar_adaptive.tlc |
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Identify MATLAB functions that are not supported for code generation.
Passed
All identified MATLAB functions are supported for code generation.
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Identify inappropriate characters and length issues in model file name.
Passed
No issues found with model file name.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify local data identifiers that are defined in multiple scopes within a chart.
Passed
No Stateflow data identifiers found to be defined in multiple scopes.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Warning
To check for upgrade issues, open the Upgrade Advisor.
Recommended Action
Click the link below to close the Model Advisor and open the Upgrade Advisor for sm_car.
Open the Upgrade Advisor
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 6 |
| Outport | 23 |
| SubSystem | 24 |
Simulink
| Block Type | Count |
|---|---|
| PMIOPort | 43 |
| SimscapeMultibodyBlock | 42 |
| SubSystem | 24 |
| Outport | 23 |
| Constant | 15 |
| Inport | 6 |
| SignalSpecification | 6 |
| Terminator | 2 |
| Mux | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 5
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the subsystem
Passed
There are no unconnected lines, input ports, and output ports in this subsystem.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 6 |
| Outport | 23 |
| SubSystem | 24 |
Simulink
| Block Type | Count |
|---|---|
| PMIOPort | 43 |
| SimscapeMultibodyBlock | 42 |
| SubSystem | 24 |
| Outport | 23 |
| Constant | 15 |
| Inport | 6 |
| SignalSpecification | 6 |
| Terminator | 2 |
| Mux | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 5
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the subsystem
Passed
There are no unconnected lines, input ports, and output ports in this subsystem.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 6 |
| Outport | 23 |
| SubSystem | 24 |
Simulink
| Block Type | Count |
|---|---|
| PMIOPort | 43 |
| SimscapeMultibodyBlock | 42 |
| SubSystem | 24 |
| Outport | 23 |
| Constant | 15 |
| Inport | 6 |
| SignalSpecification | 6 |
| Terminator | 2 |
| Mux | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 5
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the subsystem
Passed
There are no unconnected lines, input ports, and output ports in this subsystem.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 6 |
| Outport | 23 |
| SubSystem | 24 |
Simulink
| Block Type | Count |
|---|---|
| PMIOPort | 43 |
| SimscapeMultibodyBlock | 42 |
| SubSystem | 24 |
| Outport | 23 |
| Constant | 15 |
| Inport | 6 |
| SignalSpecification | 6 |
| Terminator | 2 |
| Mux | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 5
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the subsystem
Passed
There are no unconnected lines, input ports, and output ports in this subsystem.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Display number of elements and name, level, and depth of subsystems for the model or subsystem
Model metrics information
Display number of elements for Simulink blocks and Stateflow constructs
Summary
| Element Type | Count |
|---|---|
| Inport | 6 |
| Outport | 23 |
| SubSystem | 24 |
Simulink
| Block Type | Count |
|---|---|
| PMIOPort | 43 |
| SimscapeMultibodyBlock | 42 |
| SubSystem | 24 |
| Outport | 23 |
| Constant | 15 |
| Inport | 6 |
| SignalSpecification | 6 |
| Terminator | 2 |
| Mux | 1 |
Model complexity information
Display name, level, and depth of subsystems
Maximum Subsystem Depth: 5
Subsystem Depth
Identify unconnected lines, input ports, and output ports in the subsystem
Passed
There are no unconnected lines, input ports, and output ports in this subsystem.
Identify While Iterator blocks that do not have a positive value for the maximum number of iterations.
Passed
No While Iterator blocks found that might cause infinite loops
Identify sample time-dependent blocks in While and For Iterator subsystems.
Passed
No sample time-dependent blocks in For or While Iterator subsystems.
Identify blocks not supported by code generation or not recommended for C/C++ production code deployment.
Passed
No blocks found which are not recommended for C/C++ production code deployment.
Identify inconsistent usage of vector indexing methods across the model or subsystem.
Passed
No blocks found using inconsistent indexing modes.
Check variant block settings that might result in code that doesn't trace back to requirements.
Passed
No variant blocks have "VariantActivationTime" set to 'code compile'.
Check for Lookup Table blocks, Prelookup blocks and Interpolation blocks that do not generate out-of-range checking code.
Passed
No lookup table blocks found to not generate out-of-range checking code.
Identify expressions that both read and write to the same global data.
Passed
No expressions found that both read and write to the same global data.
Identify Gain blocks with value which resolves to 1.
Passed
No Gain blocks found with value which resolves to 1.
Check for models parameter tunability information specified using Model Parameter Configuration dialog boxes.
Passed
No parameters found that lose the tunability defined in the referenced models.
Check diagnostic settings in the model configuration that apply to variants and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Arithmetic operations in variant conditions (ArithmeticOperatorsInVariantConditions) | warning | error |
| Warning | Variant condition mismatch at signal source and destination (VariantConditionMismatch) | none | error |
Identify disabled and parameterized library links in the model.
Passed
No blocks found that have disabled or parameterized library links.
Check usage of identical modeling patterns
Warning
The following subsystems are found to be identical modeling patterns:
Identify Stateflow Charts whose State Machine Type differs from the type set in the Model Advisor Configuration Editor.
Passed
No Stateflow Charts found that deviate from recommended state machine type.
Identify whether Stateflow debugging options are set appropriately.
Warning
The following Stateflow debugging options are not set appropriately:
| Parameter | Current Value | Recommended Values |
|---|---|---|
| Simulation range checking (SignalRangeChecking) | none | error |
| Wrap on overflow (IntegerOverflowMsg) | warning | error |
Identify transition paths that cross parallel state boundaries in Stateflow charts.
Passed
No transition paths crossing parallel state boundaries were found in Stateflow charts.
Identify transition paths that go into and out of a state without ending on a substate.
Passed
No transition paths found that go into and out of a state without ending on a substate.
Identify mismatches between names of Stateflow ports and associated signals.
Passed
There are no name mismatches between Stateflow ports and associated signals
Identify Stateflow data objects with local scope that are not scoped at the chart level or below.
Passed
All Stateflow data objects are properly scoped.
Identify usage of standardized function headers in MATLAB function.
Passed
No MATLAB function blocks found without standardized function headers.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity or data type properties.
Passed
No MATLAB Function interfaces with inherited complexity or data type properties found.
Identify MATLAB Functions that violate code and complexity metrics.
Passed
No MATLAB Function blocks found that violate code and complexity metrics.
Check MATLAB functions for %#codegen directive, MATLAB Code Analyzer messages, and justification message IDs.
Passed
No MATLAB Function blocks found with Code Analyzer messages, missing %#codegen directive or inappropriate usage of justification message IDs.
Identify if/elseif/else patterns without appropriate else conditions in embedded MATLAB code.
Passed
No inappropriate if/elseif/else patterns found.
Identify inappropriately used switch statements in embedded MATLAB code.
Passed
No inappropriately used switch statements found.
Check diagnostic settings in the model configuration that apply to data store memory and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect read before write (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after read (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Detect write after write (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error |
Check diagnostic settings in the model configuration that apply to saving model files.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Block diagram contains disabled library links (SaveWithDisabledLinksMsg) | warning | error |
| Warning | Block diagram contains parameterized library links (SaveWithParameterizedLinksMsg) | warning | error |
Check model referencing settings in the model configuration that might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Rebuild (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| Pass | Minimize artificial algebraic loop occurrences (ModelReferenceMinAlgLoopOccurrences) | off | off |
Check code generation settings in the model configuration that apply comments and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Show eliminated blocks (ShowEliminatedStatement) | off | on | GenerateComments |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | Verbose comments for 'Model default' storage class (ForceParamTrailComments) | off | on | GenerateComments |
| Warning | ReqsInCode | Prerequisite constraint not met. | on | SystemTargetFile, GenerateComments |
| Warning | Stateflow object comments (StateflowObjectComments) | off | on | GenerateComments |
| Warning | MATLAB source code as comments (MATLABSourceComments) | off | on | GenerateComments |
Check code generation interface settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Support non-finite numbers (SupportNonFinite) | on | off | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | IncludeMdlTerminateFcn | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SuppressErrorStatus | Prerequisite constraint not met. | on | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off |
Identify if the model Start time is set to 0 and Stop time is less than the Application Life Span.
Passed
No issues found with solver settings for simulation time.
Check solver settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Type (SolverType) | Variable-step | Fixed-step |
| Warning | Solver (SolverName) | ode23t | FixedStepDiscrete |
Check solver settings in the model configuration that apply to tasking and sample-time constraints and might impact safety.
Passed
Check diagnostic settings in the model configuration that apply to solvers and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Algebraic loop (AlgebraicLoopMsg) | warning | error |
| Warning | Artificial algebraic loop occurrences not eliminated (ArtificialAlgebraicLoopMsg) | warning | error |
| Warning | Block priority violation (BlockPriorityViolationMsg) | warning | error |
| Warning | Automatic solver parameter selection (SolverPrmCheckMsg) | none | error |
| Warning | State name clash (StateNameClashWarn) | none | warning |
Check diagnostic settings in the model configuration that apply to sample time and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Source block specifies -1 sample time (InheritedTsInSrcMsg) | warning | error |
| Warning | Enforce sample times specified by Signal Specification blocks (SigSpecEnsureSampleTimeMsg) | warning | error |
| Warning | Tasks with equal priority (TasksWithSamePriorityMsg) | warning | error |
| Warning | Unspecified inheritability of sample time (UnknownTsInhSupMsg) | warning | error |
Check optimization settings in the model configuration that apply to logic signals and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Implement logic signals as Boolean data (vs. double) (BooleanDataType) | on | on |
Check code generation settings in the model configuration that apply to code style and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Maximum, Standards | SystemTargetFile |
| Warning | PreserveExpressionOrder | Prerequisite constraint not met. | on | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Check optimization settings in the model configuration that apply to application lifespan and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Application lifespan (days) (LifeSpan) | auto | inf |
Check code generation identifier settings in the model configuration that might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Not Recommended Values | Prerequisites |
|---|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | ||
| Warning | MangleLength | Prerequisite constraint not met. | 1, 2, 3 | SystemTargetFile |
Check optimization settings in the model configuration that apply to data initialization and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | ZeroExternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
| Warning | ZeroInternalMemoryAtStartup* | Prerequisite constraint not met. | on | SystemTargetFile, CodeInterfacePackaging |
Check optimization settings in the model configuration that apply to data type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Remove code from floating-point to integer conversions that wraps out-of-range values (EfficientFloat2IntCast) | off | on |
Check optimization settings in the model configuration that apply to division arithmetic exceptions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | NoFixptDivByZeroProtection | Prerequisite constraint not met. | off | SystemTargetFile |
Check optimization settings in the model configuration that apply to specified minimum and maximum values and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | UseSpecifiedMinMax | Prerequisite constraint not met. | off | SystemTargetFile |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target |
Identify inconsistencies or underspecification of hardware attributes that can lead to incorrect and inefficient generated code.
Check 'Byte ordering' and 'Signed integer division rounds to' parameters
Passed
Target specification is consistent.
_________________________________________________________________________________________
Search for 'Test hardware is the same as production hardware' in the Configuration Parameters dialog box and check if it is selected. If it is cleared, identify whether target specifications match.
Check whether 'Production hardware' and 'Test hardware' match
Passed
'Test hardware is the same as production hardware' is selected or is cleared and the target specifications match.
Check diagnostic settings in the model configuration that affect compatibility and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | S-function upgrades needed (SFcnCompatibilityMsg) | none | error |
Check diagnostic settings in the model configuration that apply to parameters and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Detect underflow (ParameterUnderflowMsg) | none | error |
| Warning | Detect precision loss (ParameterPrecisionLossMsg) | none | error |
| Warning | Detect loss of tunability (ParameterTunabilityLossMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to Merge blocks and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec) | error | error |
Check diagnostic settings in the model configuration that affect model initialization and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Underspecified initialization detection (UnderspecifiedInitializationDetection) | Simplified | Simplified |
Check diagnostic settings in the model configuration that apply to data used for debugging and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll |
Check diagnostic settings in the model configuration that apply to signal connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Signal label mismatch (SignalLabelMismatchMsg) | none | error |
| Warning | Unconnected block input ports (UnconnectedInputMsg) | warning | error |
| Warning | Unconnected block output ports (UnconnectedOutputMsg) | warning | error |
| Warning | Unconnected line (UnconnectedLineMsg) | warning | error |
Check diagnostic settings in the model configuration that apply to bus connectivity and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unspecified bus object at root Outport block (RootOutportRequireBusObject) | warning | error |
| Warning | Element name mismatch (BusObjectLabelMismatch) | warning | error |
| Warning | Bus signal treated as vector (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| Warning | Non-bus signals treated as bus signals (NonBusSignalsTreatedAsBus) | none | error |
Check diagnostic settings in the model configuration that apply to function-call connectivity and might impact safety.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | InvalidFcnCallConnMsg | error | error |
| Pass | Context-dependent inputs (FcnCallInpInsideContextMsg) | error | error |
Check diagnostic settings in the model configuration that apply to type conversions and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Unnecessary type conversions (UnnecessaryDatatypeConvMsg) | none | warning |
| Warning | Vector/matrix block input conversion (VectorMatrixConversionMsg) | none | error |
Check diagnostic settings in the model configuration that apply to model referencing and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Port and parameter mismatch (ModelReferenceIOMismatchMessage) | none | error |
| Warning | Unsupported data logging (ModelReferenceDataLoggingMessage) | warning | error |
Check diagnostic settings in the model configuration that apply to Stateflow and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Invalid input data access in chart initialization (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| Warning | Transition outside natural parent (SFTransitionOutsideNaturalParentDiag) | warning | error |
| Warning | Unreachable execution path (SFUnreachableExecutionPathDiag) | warning | error |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error |
| Warning | Transition action specified before condition action (SFTransitionActionBeforeConditionDiag) | warning | error |
| Warning | Absolute time temporal value shorter than sampling period (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| Warning | Self-transition on leaf state (SFSelfTransitionDiag) | warning | error |
| Warning | 'Execute-at-initialization' disabled in presence of input events (SFExecutionAtInitializationDiag) | warning | error |
Check diagnostic settings in the model configuration that apply to signal data and might impact safety.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Underspecified data types (UnderSpecifiedDataTypeMsg) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Simulation range checking (SignalRangeChecking) | none | error |
Check for model elements that do not link to a requirements document.
Warning
The following model elements do not link to a requirements document:
Identify configuration parameters that might impact MISRA C:2012 compliant code generation.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values | Prerequisites |
|---|---|---|---|---|
| Warning | Model Verification block enabling (AssertControl) | UseLocalSettings | DisableAll | |
| D - Warning | Shared code placement (UtilityFuncGeneration) | Auto | Shared location | |
| Warning | Generate shared constants (GenerateSharedConstants) | Prerequisite constraint not met. | off | UtilityFuncGeneration |
| D - Warning | System target file (SystemTargetFile) | Non-ERT based target | ERT based target | |
| Warning | SupportContinuousTime | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | SupportNonInlinedSFcns | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | MAT-file logging (MatFileLogging) | on | off | |
| Warning | ParenthesesLevel | Prerequisite constraint not met. | Standards, Maximum | SystemTargetFile |
| Warning | SuppressUnreachableDefaultCases | Parameter is inactive! Enable parameter or modify dependent parameter value. | off | |
| Warning | CastingMode | Prerequisite constraint not met. | Standards | SystemTargetFile |
| Warning | InternalIdentifier | Prerequisite constraint not met. | Shortened | SystemTargetFile |
| Warning | EnableSignedLeftShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | EnableSignedRightShifts | Prerequisite constraint not met. | off | SystemTargetFile |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | warning | |
| Warning | Dynamic memory allocation in MATLAB functions (MATLABDynamicMemAlloc) | on | off | |
| Warning | Undirected event broadcasts (SFUndirectedBroadcastEventsDiag) | warning | error | |
| Warning | Compile-time recursion limit for MATLAB functions (CompileTimeRecursionLimit) | 50 | 0 | |
| Warning | Enable run-time recursion for MATLAB functions (EnableRuntimeRecursion) | on | off | |
| Warning | MATLABFcnDesc | Prerequisite constraint not met. | on | GenerateComments, SystemTargetFile |
Display number of blocks in the model or subsystem.
Passed
Display number of Subsystems in the model or subsystem.
Passed
Display number of library links in the model or subsystem.
Passed
Display number of effective lines of MATLAB code.
No metric data available. Nothing to report for this metric.
Passed
Display number of Stateflow objects in each chart.
No metric data available. Nothing to report for this metric.
Passed
Display number of code lines for Stateflow blocks.
No metric data available. Nothing to report for this metric.
Passed
Display depth of subsystems in the model or subsystem.
Passed
Display non-descriptive names of Inport, Outport and Subsystem blocks.
Passed
Display data and structure layer separation, defined by MAB modeling guideline db_0143.
Passed
Identical file names on path
Warning
The following files have names which are identical to files present in MATLAB path:
Characters allowed for file names
Check the model file name to ensure that the name complies with the recommended guidelines.
Warning
The following files have invalid names:
Characters allowed for folder names
Warning
The following folders have invalid names:
Single reserved MATLAB word
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have reserved MATLAB words as the folder name:
Number at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have numbers at the beginning of the folder name:
Underscore at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have underscores at the beginning of the folder name:
Consecutive underscores
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have consecutive underscores in the folder name:
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long signal and bus names.
Passed
All signal and bus names are valid.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
Identify usage of reserved keywords in MATLAB Function blocks.
Passed
No variable names conflict with reserved keywords
Identify data names with invalid characters in MATLAB Functions.
Passed
All the data names in MATLAB Functions use valid characters.
Identify length of data names in MATLAB Functions.
Passed
All data name lengths in MATLAB Functions are under the acceptable limit.
Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.
Passed
No blocks, block names, signal lines, signal labels, annotations, or block annotations overlap or intersect
Identify objects in Stateflow charts that visibly overlap.
Passed
Objects in Stateflow charts do not overlap.
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify diagnostic parameters that are set to none.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error, warning |
| Warning | Duplicate data store names (UniqueDataStoreMsg) | none | error, warning |
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | all |
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Check font size in Simulink block and signal names
Identify blocks and charts with different font settings from input parameters.
Warning
The font size of the following Simulink block or signal names are different from input parameters:
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Warning
The following level(s) in the model include basic blocks and subsystems:
Check source block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check destination block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check source block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check destination block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Passed
All tunable block parameters have been defined as named constants.
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
Check definition of Stateflow data
Passed
All Stateflow data at machine level has been defined as per guideline.
_________________________________________________________________________________________
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
jm_0011: Pointers in Stateflow
Identify pointer operations on custom code variables.
Passed
No pointer operations were found.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify MATLAB Functions with high number of effective lines of code.
Passed
No MATLAB Function found with high number of effective lines of code.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Identify usage of non-constant variables in Switch/Case statements.
Passed
Non-constant variables are not used as Switch/Case arguments
Identify multiple execution statements that are written in a single line and end without a semicolon.
Passed
All execution statements are written in new lines and end with a semicolon.
Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.
Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.
Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.
Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.
Check for correct placement of relational operator operands.
Passed
All relational operator usage is valid.
Identify function return values that are used before assigning to a variable.
Passed
Return value of all functions used was assigned to a variable before using it.
Identical file names on path
Warning
The following files have names which are identical to files present in MATLAB path:
Characters allowed for file names
Check the model file name to ensure that the name complies with the recommended guidelines.
Warning
The following files have invalid names:
Characters allowed for folder names
Warning
The following folders have invalid names:
Single reserved MATLAB word
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have reserved MATLAB words as the folder name:
Number at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have numbers at the beginning of the folder name:
Underscore at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have underscores at the beginning of the folder name:
Consecutive underscores
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have consecutive underscores in the folder name:
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long folder names.
Passed
Folder names are valid.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Warning
The following level(s) in the model include basic blocks and subsystems:
Identify whether Implement logic signals as Boolean data (vs. double) is selected.
Passed
Implement logic signals as Boolean data (vs. double) is selected.
Identify data validity diagnostic settings which detect incorrect calculation results.
Warning
The model configuration parameters are not set to the recommended values specified in the data file.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Warning | Division by singular matrix (CheckMatrixSingularityMsg) | none | error |
| Warning | Inf or NaN block output (SignalInfNanChecking) | none | error |
| Warning | Wrap on overflow (IntegerOverflowMsg) | warning | error |
| Warning | Saturate on overflow (IntegerSaturationMsg) | warning | error |
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | all |
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Check font size in Simulink block and signal names
Identify blocks and charts with different font settings from input parameters.
Warning
The font size of the following Simulink block or signal names are different from input parameters:
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Check source block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check destination block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check Signal name propagation for subsystems
Warning
The following subsystems do not have propagated signal labels:
Check Signal name propagation for subsystems
Warning
The following subsystems do not display propagated signals but have signal names:
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Passed
All tunable block parameters have been defined as named constants.
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify operation blocks that directly specify the 'Output data type' parameter when changing the data type of the block output signal.
Passed
No operation blocks found that directly specify the 'Output data type' parameter.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Check definition of Stateflow data
Passed
All Stateflow data at machine level has been defined as per guideline.
_________________________________________________________________________________________
jm_0011: Pointers in Stateflow
Identify pointer operations on custom code variables.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify Stateflow states with text exceeding the boundary of the state.
Passed
No Stateflow states found with text exceeding the boundary of the state.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identical file names on path
Warning
The following files have names which are identical to files present in MATLAB path:
Characters allowed for file names
Check the model file name to ensure that the name complies with the recommended guidelines.
Warning
The following files have invalid names:
Characters allowed for folder names
Warning
The following folders have invalid names:
Single reserved MATLAB word
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have reserved MATLAB words as the folder name:
Number at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have numbers at the beginning of the folder name:
Underscore at the beginning
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have underscores at the beginning of the folder name:
Consecutive underscores
Check the folder name to ensure that the name complies with the recommended guidelines.
Warning
The following folders have consecutive underscores in the folder name:
Identify signal and bus names with invalid characters.
Passed
No invalid characters are used in signal and bus names.
Identify long folder names.
Passed
Folder names are valid.
Identify long signal and bus names.
Passed
All signal and bus names are valid.
Identify data names with invalid characters in MATLAB Functions.
Passed
All the data names in MATLAB Functions use valid characters.
Identify levels in the model that include basic blocks and subsystems. Each level of a model must be designed with blocks of the same level (for example, only subsystems or only basic blocks).
Warning
The following level(s) in the model include basic blocks and subsystems:
Identify issues with model appearance.
Warning
The following format display options are incorrect.
| Display Attribute | Recommended Value | Actual Value |
|---|---|---|
| Debug > Information Overlays > Nonscalar Signals | on | off |
| Debug > Information Overlays > Show All Links | none | all |
Identify issues with model appearance.
Warning
The following diagrams do not have zoom factor set to 100 percent:
Check font size in Simulink block and signal names
Identify blocks and charts with different font settings from input parameters.
Warning
The font size of the following Simulink block or signal names are different from input parameters:
Identify inappropriately placed Inport and Outport blocks.
Passed
No Inport or Outport blocks found which are inappropriately placed.
Identify trigger blocks where the origin of the trigger signal and the destination have dissimilar names.
Passed
No violation of the guideline for use of trigger signal names.
Identify Relational Operator blocks that connect to constants with the first (upper) input value.
Passed
This model does not contain Relational Operator blocks.
Identify blocks and charts with inconsistent Indexing mode.
Passed
No inconsistent Indexing mode used in the model.
Identify tunable parameters used to specify expressions, data type conversions, or indexing operations.
Passed
Tunable parameters are not used in the model.
Check source block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check destination block labels
Identify blocks that require labeled signals. A subset of source and destination blocks require labeled signals.
Warning
The following signals have no label:
Check usage of recommended settings for Discrete-Time Integrator blocks to prevent unexpected results.
Passed
All Discrete-Time Integrator blocks have recommended settings.
jc_0659: Usage restrictions of signal lines input to Merge blocks
There must not be any block between a Conditional Subsystem block and a Merge block.
Passed
No Merge block found.
Passed
All tunable block parameters have been defined as named constants.
Check if default/else case in Switch Case blocks and If blocks are set to 'on'
Passed
Conditional Control blocks are valid.
Check usage of recommended settings for Lookup Table blocks to prevent unexpected results.
Passed
All Lookup Table blocks have recommended settings.
Identify order of parentheses in Fcn block expressions.
Passed
All Fcn blocks use parentheses to mark operator precedence.
jc_0653: Delay block layout in feedback loops
Identify delay blocks usage in feedback loops.
Passed
No delay blocks in feedback loops violate the guidelines for avoiding algebraic loops between subsystems.
Simulink Data names should be unique across base workspace, model workspace and data dictionary.
Passed
All Simulink Data names are unique.
Identify layers in the model having inconsistent description format.
Warning
Following layers do not have model descriptions:
Check if sample time property of a block is set to -1 (inherited).
Passed
All permitted blocks have sample time set to -1 (inherited).
Identify Sum block usage that can affect readability.
Passed
No violations of the guideline found with the usage of the Sum block.
Identify inappropriately placed signal labels.
Passed
No signals found with inappropriately placed labels.
Check for number of inputs/outputs to a Variant Subsystem.
Passed
No Variant Subsystems found having different number of inputs/outputs in the Variant Subsystem choices.
Identify cascaded and tapped pattern of Unit Delay blocks.
Passed
No cascaded Unit Delay blocks found that can be changed to Tapped Delay/Delay block.
Identify the usage of Data Store Memory blocks.
Passed
Usage of Data Store Memory blocks is correct.
Check placement of sequential blocks
Warning
The placement of blocks in the following subsystems can be improved:
Identify conditional and iterative blocks that are positioned inconsistently in the model.
Passed
The conditional and iterative blocks are correctly placed in the model.
Identify intersections and overlaps of signals in a model.
Passed
No signal intersections or overlaps found.
Identify variant subsystems which use multi-variable compound conditions.
Passed
No variant subsystems with multiple variable compound conditions found
Checks If blocks for complex usage of primary expressions within a logical expression
Passed
Logical expressions inside If blocks are simple
na_0036: Default variant
Identify variant subsystems that do not use default variants.
Passed
All variant subsystems in the model use default variants
Identify blocks, block names, signal lines, signal labels, annotations, or block annotations that overlap or intersect visibly.
Passed
No blocks, block names, signal lines, signal labels, annotations, or block annotations overlap or intersect
Identify graphical functions with multiple assignments of return values in Stateflow charts.
Passed
No Stateflow charts were found.
Identify all groupings of states that do not have a default transition or do not have the default state as the top-most state.
Passed
No Stateflow charts and states found that violate the guidelines for default transition placement in Stateflow charts.
Check definition of Stateflow data
Passed
All Stateflow data at machine level has been defined as per guideline.
_________________________________________________________________________________________
jm_0011: Pointers in Stateflow
Identify pointer operations on custom code variables.
Passed
No pointer operations were found.
Identify comments that are nested or contain newline(s) in the middle in Stateflow for action language 'C'.
Passed
No comments found that are either nested or contain newline(s) in the middle.
Identify Stateflow states using multiple internal transitions.
Passed
No Stateflow states found with multiple internal transitions
Identify unconditional Stateflow transitions with higher priority than conditional transitions.
Passed
No unconditional Stateflow transitions found with higher priority than conditional transitions
jc_0732: Distinction between state names, data names, and event names
Identify Stateflow State, Stateflow Data and Stateflow Event that have identical names in a given chart.
Passed
No Stateflow charts were found.
jc_0730: Unique state name in Stateflow blocks
Identifies identical State names within a Stateflow Chart.
Passed
No Stateflow charts were found.
jc_0752: Condition action in transition label
Start new line before and after parentheses for condition actions in Stateflow transitions.
Passed
No Stateflow Transitions found that violate the requirement for new line for condition actions.
Identify usage of transition actions in Stateflow.
Passed
No Stateflow charts have transition actions.
Identify usage of first index of Stateflow data.
Passed
All Stateflow data first index values are uniform.
jc_0731: State name format
Identify state names with '/' at its end.
Passed
No Stateflow states were found.
'Execute (enter) Chart At Initialization' should be set to OFF.
Passed
All Stateflow Charts pass the check.
jc_0734: Number of state action types
Identifies repeated action types in a Stateflow State.
Passed
No Stateflow States were found.
Checks if the model parameter 'Unused data, events, messages and functions' is not set to 'none'.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unused data, events, messages and functions (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: Timing to update data used in state chart transition conditions
Variables used in state transition conditions must not perform an update by "during" state action type.
Passed
No Stateflow states found that violate the guidelines for updating the variables used in state transition conditions.
jc_0722: Local data definition in parallel states
The scope of local variables should be restricted to one parallel state unless it is being used by other parallel states.
Passed
No Stateflow States were found.
Identify non-uniform indentation in Stateflow blocks.
Passed
All Stateflow blocks have uniform indentation.
Identify configuration parameter settings which identify unexpected backtracking in state transitions.
Passed
All constraints on model configuration parameters have been met.
| Status | Parameter | Current Value | Recommended Values |
|---|---|---|---|
| Pass | Unexpected backtracking (SFUnexpectedBacktrackingDiag) | error | error |
Identify dangling transitions and unconnected Stateflow States and Junctions in Stateflow Charts.
Passed
No unconnected transitions, states or junctions found in Stateflow Charts.
Identify placement of label string in Stateflow transition.
Passed
All Stateflow transitions are placed uniformly.
Identify Stateflow data names with invalid characters.
Passed
No invalid characters are used in Stateflow data names.
Check if the length of Stateflow data names is within limit.
Passed
All Stateflow data names are valid.
Identify out of order state action types in Stateflow states.
Passed
No Stateflow states found with out of order state action types
Identify use of numeric literals in Stateflow states and transitions.
Passed
No numeric literals found in Stateflow charts.
Identify comments in transition labels that are not positioned uniformly.
Passed
Comments in transition labels are positioned uniformly.
Identify usage of terminal junctions in flow charts.
Passed
Multiple terminal junctions were not found.
Check for calls between graphical functions.
Passed
No calls between graphical functions were found.
Check if state action type 'exit' is used in the model.
Passed
State action type 'exit' is not used in the model.
Identify unconditional transitions in flow charts.
Passed
All unconditional transitions adhere to the guideline.
Identify comments in unconditional transitions without action statements.
Passed
All unconditional transitions without action statements have comments.
Stateflow events should be defined at the smallest possible scope of usage.
Passed
All Stateflow events are defined at their smallest scope.
Identify Stateflow transitions visually overlapping other Stateflow objects.
Passed
No transition violates the guidelines for Stateflow transition appearance.
Identify undirected event broadcasts in Stateflow.
Passed
No instances of undirected event broadcast were found.
Usage of Simulink Functions in Stateflow.
Passed
All Simulink Functions in Stateflow are defined according to the guideline.
na_0039: Limitation on Simulink functions in Chart blocks
Check use of Stateflow charts nested inside Simulink functions used in Stateflow.
Passed
No Stateflow charts found nested inside Simulink functions used in Stateflow.
Identify transition line arrowhead not set to size specified by the project setting.
Passed
All transition line arrowhead set to size specified by the project setting.
Identify MATLAB Functions that have inputs, outputs, or parameters with inherited complexity, data type, or size properties.
Passed
No MATLAB Functions found in the model or subsystem.
Check for global variables in MATLAB code
_________________________________________________________________________________________
Check for global variables in MATLAB code used in MATLAB Function blocks
Passed
No MATLAB Function blocks found
_________________________________________________________________________________________
Check for global variables in MATLAB functions defined in Stateflow charts
Passed
No MATLAB functions defined in Stateflow charts found
_________________________________________________________________________________________
Check for global variables in called MATLAB functions
Passed
No external MATLAB functions found
_________________________________________________________________________________________
Identify usage of strings in MATLAB Function blocks.
Passed
No character vectors found in MATLAB Function block
Identify multiple execution statements that are written in a single line and end without a semicolon.
Passed
All execution statements are written in new lines and end with a semicolon.
Identify single-byte spaces between function or variable names and left parenthesis symbol.
Passed
No spaces between function or variable names and left parenthesis symbol.
Identify expressions that contain operators with different priorities but do not specify clear operator precedence using parentheses.
Passed
All expressions containing operators with different priorities specify clear operator precedence using parentheses.
Check for correct placement of relational operator operands.
Passed
All relational operator usage is valid.
Identify missing spaces before or after binary operators or after commas.
Identify invalid spaces between unary operators and operands.
Passed
All expressions have a space before and after binary operators and after commas, and no space between unary operators and operands.
Identify non-empty statements that do not have any effect or do not change the control flow.
Passed
All non-empty statements have a side-effect or change the control flow.
Identify function return values that are used before assigning to a variable.
Passed
Return value of all functions used was assigned to a variable before using it.
Identify functions without a function header.
Passed
All functions have a function header.
Checks whether number of function calls in MATLAB Function blocks is less than 3.
Passed
Number of function calls in MATLAB Function blocks is less than 3.
Identify nested if/else and case statements in MATLAB Functions.
Passed
No MATLAB Function found with deeply nested if/else and case statements.
Identify usage of non-constant variables in Switch/Case statements.
Passed
Non-constant variables are not used as Switch/Case arguments
Check for unit mismatches in the model.
Passed
No unit mismatches found.
Check for automatic unit conversions.
Passed
No automatic unit conversions found.
Check for disallowed unit systems.
Passed
No disallowed unit systems were found.